21. Discrete structures with contemporary applications
پدیدآورنده : Alexander Stanoyevitch
موضوع : Computer science, Mathematics,Logic, Symbolic and mathematical,Probabilities,COMPUTERS / Operating Systems / General, bisacsh,MATHEMATICS / Combinatorics, bisacsh
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
22. Dynamic Fuzzy Pattern Recognition with Applications to Finance and Engineering
Author: by Larisa Angstenberger.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer vision.,Logic, Symbolic and mathematical.,Mathematics.
23. Foundations of mathematical logic /
Author: Haskell B. Curry.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.
Classification :
QA9
.
C85
1977
24. Fuzzy Algorithms for Control
Author: edited by H. B. Verbruggen, H.-J. Zimmermann, R. Babuška.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Mathematical optimization.,Mathematics.,Operations research.
25. Fuzzy Evolutionary Computation
Author: edited by Witold Pedrycz.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Logic, Symbolic and mathematical.,Mathematics.,Operations research.
26. Fuzzy Sets in Information Retrieval and Cluster Analysis
Author: by Sadaaki Miyamoto.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Mathematics.,Systems theory.
Classification :
QA248
.
B973
1990
27. Fuzzy Systems
Author: edited by Hung T. Nguyen, Michio Sugeno.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer engineering.,Logic, Symbolic and mathematical.,Mathematics.,Mechanical engineering.,Operations research.
28. Grammatical inference : algorithms and applications : 7th International Colloquium, ICGI 2004, Athens, Greece, October 11-13, 2004 : proceedings
Author: Georgios Paliouras, Yasubumi Sakakibara )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Formal languages,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
3264
29. Grammatical inference : algorithms and applications : 5th International Colloquium, ICGI 2000, Lisbon, Portugal, September 11-13, 2000 : proceedings
Author: Arlindo L. Oliveira )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Formal languages,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
1891
30. Grammatical inference : algorithms and applications : 8th International Colloquium, ICGI 2006, Tokyo, Japan, September 20-22, 2006 : proceedings
Author: Yasubumi Sakakibara....]et al.[ )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Formal languages,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
4201
31. Grammatical inference : algorithms and applications : 6th international colloquium, ICGI 2002, Amsterdam, The Netherlands, September 23-25, 2002 : proceedings
Author: Pieter Adriaans, Henning Fernau, Menno van Zaanen )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Formal languages,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
2484
32. Granular Computing
Author: by Andrzej Bargiela, Witold Pedrycz.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Data structures (Computer science).,Logic, Symbolic and mathematical.
33. Graph structure and monadic second-order logic :
Author: Bruno Courcelle, Joost Engelfriet
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical-- Graphic methods
Classification :
QA9
.
C748
2012
34. Groups, languages, algorithms : AMS-ASL Joint Special Session on Interactions between Logic, Group Theory, and Computer Science, January 16-19, 2003, Baltimore, Maryland
Author: Alexandre V. Borovik, editor
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Group theory,Congresses ، Finite groups,Congresses ، Infinite groups
Classification :
QA
174
.
A418
2003
35. Handbook of Defeasible Reasoning and Uncertainty Management Systems.
Author: Dov M Gabbay
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.
Classification :
Q375
.
D686
2010
36. Ideals, Varieties, and Algorithms
Author: by David Cox, John Little, Donal O'Shea.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Mathematics.
37. Intelligent Hybrid Systems
Author: edited by Da Ruan.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Logic, Symbolic and mathematical.,Mathematics.
38. Intelligent Tutoring Systems :
Author: edited by Mitsuru Ikeda, Kevin D. Ashley, Tak-Wai Chan.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Information systems.,Multimedia systems.
39. Iteration Theories :
Author: by Stephen L. Bloom, Zoltán Ésik.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Logic, Symbolic and mathematical.
Classification :
QA76
.
9
.
M35
B978
1993
40. Language and automata theory and applications :
Author: edited by Shmuel Tomi Klein, Carlos Martín-Vide, Dana Shapira.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal languages, Congresses.,Machine theory, Congresses.,Mathematical linguistics, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Formal languages.,Machine theory.,Mathematical linguistics.,Mathematical theory of computation.,Mathematics-- Logic.,Maths for computer scientists.
Classification :
QA267
.
L38
2018
